Source /etc/profile in the .bash_profile of the root user.
Source /etc/profile in the .bash_profile of the vagrant user.
Merge branch 'fix/source_etc_profile_in_bash'