Added Gnome 3.8 shell version