0001-Makefiles-configure-scripts-and-other-build-stuff-ad.patch
0002-Remove-characters-which-are-not-allowed-in-manpages.patch
0003-Fix-compilation-with-OCaml-4.08.0.patch
