gnome 3.8: compatible