modify run.bat