Improved shutdown + run.bat.