correct ping command line for cygwin