more PROMPT_COMMAND tweaks