If this is copy-pasta, then I don't know how we were avoiding an infinite loop.  Either way, it's wrong for `.bashrc` to source `.bash_profile` as the latter should only be sourced for interactive shells.