updated gnome-shell extensions script