fix_manpage_extension.patch
use_debian_packaged_libdivsufsort.patch
