switch ping timeout flag from osx to linux