--- a/util/pluginloader.lua	Wed Aug 01 01:27:31 2012 +0100
+++ b/util/pluginloader.lua	Wed Aug 01 01:27:42 2012 +0100
@@ -14,8 +14,7 @@
 	plugin_dir[#plugin_dir + 1] = path;
 end
 
-local io_open, os_time = io.open, os.time;
-local loadstring, pairs = loadstring, pairs;
+local io_open = io.open;
 local envload = require "util.envload".envload;
 
 module "pluginloader"