Add gnome shell 3.8 support