Updated gnome-shell extension to gnome3.10