Another bash_profile merge