added missing slash in setenv.sh