Updated setenv.sh