0001-Do-not-install-redundant-files.patch
0002-Retry-waitpid-if-it-fails-with-EINTR.patch
0003-possible-fix-for-concurrent-access-to-the-input-stre.patch
0004-slightly-more-efficient-fix-for-concurrent-access-to.patch
0005-Fix-compilation-with-OCaml-5.2.0.patch
