0001-Do-not-build-manual-manual.pdf.patch
0002-fix-a-race-condition-in-Lwt_io.patch
0003-fix-data-corruption-in-Lwt_io.patch
