[Bug 755862] gnome extensions do not work.