Added setenv.bash