adopt ocamlbuild, provide verify_callback ctype