Possibly fix setup.bat error