openmpi: rebuild