Switched back to ocaml 3.12.1, because 4.01.0 -annot is broken