0001-Use-bin-cp-instead-of-usr-bin-install.patch
0002-Disable-CHMOD_RO-invocations.patch
0003-Value.cmo-needs-LoopAnalysis.cmo.patch
0004-Fix-compilation-with-recent-yojson.patch
