Update workspace stuff and srgobf.bat for further automation of setup.