added experimental Gnome Shell 3.8 support