Update of software manifest and setupenv.bat for Windows