config-debian.diff
removing_sound_support.patch
