upgrade checkocaml