Corrected run.bat.