original extension files from http://svn.xesnet.fr/gnomeextensions, works on gnome-shell 3.4 only :(