Correct setup.bat