upgrade checkocaml.ml