Port to Gnome 3.12