Add compatibility with Gnome Shell 3.30