Make this extension work with gnome shell 3.10.