added gnome 3.12 support