Update and rename dev.bat to setup.bat