update for gnome shell 3.8