Fix batch file.