use ping6 if ping does not work in ping.py