add Gnome Shell 3.8 support