Some fixes and added a version of minvuln to call from ocaml.