Test with newer opam
Add dependence for openmpi