Adapt to latest version of openmpi.