Source bash_profile from bashrc so that terminals get the same settings