enforce putting machine-specific settings into .bash_profile.local and .bash_aliases.local