Update for gnome-shell 3.6