fix Windows batch file.