make the batch file atually work under windows