Update to GNOME 3.12