gnome-shell upgrade to 3.12