changes to /etc/profile to allow login even when /usr/local is a stale mount