man: use default MANPATH of "/usr/man"; do not search paths twice