Add support for GNOME Shell 3.8