Fix run_update.bat