fix another setenv.sh oops