ping Befehl fuer Linux angepasst