mike changed the filepath in jasmin.bat, breaking my setup. please dont touch this new file, just make your own