Gnome-Shell 3.8 compatibility