diff --git a/lib/simpletest/testfilelib.php b/lib/simpletest/broken_testfilelib.php
similarity index 99%
rename from lib/simpletest/testfilelib.php
rename to lib/simpletest/broken_testfilelib.php
index d28bb2cad06..70166d1fb1a 100644
--- a/lib/simpletest/testfilelib.php
+++ b/lib/simpletest/broken_testfilelib.php
@@ -31,7 +31,7 @@ require_once($CFG->libdir.'/filelib.php');
 require_once($CFG->libdir.'/file/file_browser.php');
 require_once($CFG->libdir.'/file/file_info_course.php');
 
-//require_once($CFG->dirroot.'/user/lib.php');
+require_once($CFG->dirroot.'/user/lib.php');
 require_once($CFG->dirroot.'/mod/forum/lib.php');
 
 /**