(Temporarily ?) remove comaptibility for gnome-shell < 3.8