Adapt to new openmpi.