re-enabled sourcing of bash_profile from bashrc