move setup.bat into src dir, where it needs to be executed, to avoid confusion