2e4955427d
Thanks Zoltan Mizsei for bringing this to our attention. Signed-off-by: Gilles Gouaillardet <gilles@rist.or.jp> (cherry picked from commit open-mpi/ompi@a02be5e91a)