Fix windows batch file.