fix ppa setting for ocaml-3.12