Fix the .bat files for Windows