Minor update to setenv.sh