Modified setenv.sh