Provide compatibility for gnome-shell 3.14