Changes to launch.bat