update zkocaml_stubs.c