Fix problem with bash_prompt