gnome-base/gnome-shell: remove old