.bash_prompt: Temporary fix for GNU bash 4.2.25