manpath: warning: $MANPATH set, ignoring /etc/manpath.config