fix setenv.sh