add Gnome 3 support