gnome-3.8: updates