openmpi: fix