debian_configure_changes.diff
config_extra_headers.diff
