openmpi: fix build