mingw32 and cygwin batch files on Windows