Bug#939741: FTBFS with OCaml 4.08.0 (safe strings)

[Benjamin Barenblat]

Control: block 939741 by 897129

I agree. coq-doc acquired a new dependency in the 8.9 release, so
that’ll need to get packaged first.