# environment variables are saved in here
setenv.sh