[gnome-extra/cinnamon] fix patches