add gnome shell 3.4, 3.6 to work with deb7