Extension is compatible with gnome shell 3.6.3