Support Gnome Shell 3.12