gnome-3.8: delete