Fixed devenv.bat so that it now properly executes