setenv.sh fixes