Added gnome 3.8 support