[gnome-extra/cinnamon] drop bogus patch