See https://mtt.open-mpi.org/index.php?do_redir=2360. Did this get broken with https://github.com/open-mpi/ompi/pull/2064? @ggouaillardet @edgargabriel @hjelmn Can you have a look?