Remove old gnome3 patch