Changes to make this extension work in Gnome-shell 3.10.4 on Ubuntu LTS

Changes suggested by dcharlespyle in http://forums.fedoraforum.org/archive/index.php/t-293679.html