Added compatibility for Gnome Shell 3.12, removed for 3.8 and 3.10.