Switch to GNOME 3.12 (from GNOME 3.10)