Removing ping.py because it's someone else's.