Fixing bashrc vs. bash_profile hiccup