allow_debian_cflags.patch
increase_robustness_of_clean.patch
