Fix Windows .bat file. [finishes #71764782]