base-files provides /etc/profile /etc/profiles sets the default $PATH. The default $PATH contains /usr path elements. Would it be a good idea to remove the redundant /usr parts of the path elements? Paul.