Fixes coq-8.3: requires OCaml 3.12