$PROMPT_COMMAND is no longer clobbered