fix openmpi