I'm using Paul's Ethernet library (Ethernet-2.0.0) with good results on a w5500 IC, connecting to remote servers but I really need a ping library that is compatible as I need to make sure a local PC is up and running. Can anyone point me at a working ping library?

Not compatible:
https://github.com/BlakeFoster/Arduino-Ping
https://github.com/NicksonYap/Arduino-Ping-W5500 (Uses Adafruit ethernet lib)

On WiFi no problem as WiFi.Ping() works but I want to use a wired connection for this task.

Thanks!