Extension is compatible with older gnome-shell