adjust batch file to run on win64