0001-Fix-the-OCaml-C-header-paths.patch
0002-Use-the-Debian-prefix-for-building.patch
0003-Fix-the-build-on-non-native-architectures.patch
