doc gui +ocamlopt
