Add support for gnome-shell version 3.14.2