upgrade checkocaml + do not require camlp4