Bug#1093099: not an ocaml-related error

[Ralf Treinen]

Hi,

this error occurs when running latex to compile the manual to PDF. It is
not an ocaml error and hence unrelated to the ocaml transition to 5.3.0.

-Ralf.