.bashrc now sources .bash_profile if the latter exists.