update zkocaml_stubs.(h|c)