update extension for gnome-shell 3.12