add -annot and -principal as default ocaml compile flags