extra/openmpi fix