update default version # in setenv.bat for 2.8.0