we need at least -annot in the ocaml flags