shell_ping library fix for MacOSX