fix sourcing of bash_prompt