update to GNOME 3.14