--- js/ui/extensionSystem.js.old	2011-04-06 09:10:57.000000000 +0200
+++ js/ui/extensionSystem.js	2011-04-06 09:11:08.000000000 +0200
@@ -3,6 +3,7 @@
 const GLib = imports.gi.GLib;
 const Gio = imports.gi.Gio;
 const St = imports.gi.St;
+const Shell = imports.gi.Shell;
 
 const Config = imports.misc.config;
 
