updated to work with gnome-shell 3.6.2, still need to test if it works with gnome-shell 3.4.1