Update hello world extension to work with gnome-shell 3.8.2