This fixes open-mpi/ompi@8b05f308f9 libmpi.so cannot be built (unresolved symbols) with configure'd with --disable-mem-debug --disable-mem-profile --disable-memchecker --without-memory-manager