BASH: don't call bash profile from PS1