update zkocaml_stubs implementation.