launcher_use_correct_filename.patch
revert_gnome-control-center_rename.patch
40_unset_menuproxy.patch
