setenv.sh: don't use realpath.