coccinelle: ocaml hard-enabled ocamlopt