Don't say that we "may need" openmpi-dev — it's not a possibility