Moved sourcing of .bash_profile.local to the end of .bash_profile.