0001-make-a2x-skip-xmllint.patch
0002-introduce-debian-standard-build-flags.patch
0003-pkg-config-lua52.patch