Clean Gnome 3.10 stuff