
Refers open-mpi/ompi#5801 Signed-off-by: Gilles Gouaillardet <gilles@rist.or.jp> (cherry picked from commit open-mpi/ompi@69f1a19c5d)
Refers open-mpi/ompi#5801 Signed-off-by: Gilles Gouaillardet <gilles@rist.or.jp> (cherry picked from commit open-mpi/ompi@69f1a19c5d)