Somewhat fix PROMPT_COMMAND (but not quite, yet)