Updated gnome-shell extension to gnome3.8