gnome 3.12 compat