Use .bat executables on Windows