Updated to Gnome-shell 3.14.