modifies setup.bat slightly