0001-Fix-spelling-error-in-binary.patch
0002-Use-bin-cp-instead-of-usr-bin-install.patch
0003-Disable-CHMOD_RO-invocations.patch
0004-Fix-auto-detection-of-ocaml-zarith.patch
0005-Fix-compilation-with-OCaml-4.01.0.patch
