filippo: let .bash_profile call .bashrc

Change-Id: I1e3548706d724a873ec442f68705e09bb9f905f9
Merge "filippo: let .bash_profile call .bashrc" into production