0001-Remove-libebl-linkage.patch
0002-adapt-makefile-to-debian.patch
0003-sparsemem_extreme.patch
