Upgraded to Gnome shell 3.8