setenv.sh