makefile_set_debian_buildflags.patch
makefile_set_debian_paths.patch
