shell_ping library fix for win32