Adapt to changes in latest openmpi.