allow .bash_profile.local for local additions