Made changes to work with Gnome shell 3.6.3