Add support for versions 3.12 and 3.14 of GNOME Shell