diff --git a/lib/phpunit/lib.php b/lib/phpunit/lib.php
index 9cd8585e2c8..a7001576128 100644
--- a/lib/phpunit/lib.php
+++ b/lib/phpunit/lib.php
@@ -34,4 +34,5 @@ require_once(__DIR__.'/classes/database_driver_testcase.php');
 require_once(__DIR__.'/classes/arraydataset.php');
 require_once(__DIR__.'/classes/advanced_testcase.php');
 require_once(__DIR__.'/classes/unittestcase.php');
+require_once(__DIR__.'/classes/hint_resultprinter.php'); // Loaded here because phpunit.xml does not support relative links for printerFile
 
diff --git a/phpunit.xml.dist b/phpunit.xml.dist
index 63f8ba93adf..7b33e948ccc 100644
--- a/phpunit.xml.dist
+++ b/phpunit.xml.dist
@@ -16,7 +16,6 @@
         strict="false"
         verbose="false"
         printerClass="Hint_ResultPrinter"
-        printerFile="lib/phpunit/classes/hint_resultprinter.php"
         >
 
     <php>