diff --git a/user/profile.php b/user/profile.php
index 37b89d00d16..da41cb3bce9 100644
--- a/user/profile.php
+++ b/user/profile.php
@@ -37,6 +37,7 @@
 require_once(dirname(__FILE__) . '/../config.php');
 require_once($CFG->dirroot . '/my/lib.php');
 require_once($CFG->dirroot . '/user/profile/lib.php');
+require_once($CFG->libdir.'/filelib.php');
 
 $userid = optional_param('id', 0, PARAM_INT);
 $edit   = optional_param('edit', null, PARAM_BOOL);    // Turn editing on and off