Add support for gnome-shell 3.8