0002-Use-bin-cp-instead-of-usr-bin-install.patch
0003-Disable-CHMOD_RO-invocations.patch
0005-Value.cmo-needs-LoopAnalysis.cmo.patch

