More PROMPT_COMMAND tweaks