Fix path for ping on linux