port to gnome 3.12