debian/0001-buildflags.patch
debian/0002-destdir.patch
debian/0003-examples.patch
