Updated gnome-shell extension to gnome3.12