$ 0 0 openmpi environment is controlled by "module", but the current version does not add the defined MPI_MAN to the MANPATH