# configure PATH using sage script location
export PATH="$(dirname $SELF):$PATH"
# if SAGE_VENV is set, the script sage-env will prepend
# "$SAGE_VENV/bin" to the PATH, which is undesired
unset SAGE_VENV