Add /home/otto/.bash_profile to source /home/otto/.bashrc

Change-Id: Id1f5220f871178491f7c8ef7e267469527194c06