Also install libcoq-ocaml-dev