Source .profile.local when executing bash.