batch file for more consistent Windows builds