Fixes coq-8.3: requires OCaml 3.12 and lablgtk 2.14