update to gnome 3.12.1