0001-Use-usr-bin-see-as-default-previewer.patch
0002-Remove-bashisms.patch
0003-Fix-tiger-tree-corruption.patch
0004-Do-not-call-ocamlc-custom-with-g.patch
