diff --git a/src/etc/rc.initial.halt b/src/etc/rc.initial.halt
index 5107c1a7d..3c7156c36 100755
--- a/src/etc/rc.initial.halt
+++ b/src/etc/rc.initial.halt
@@ -28,6 +28,7 @@
 	POSSIBILITY OF SUCH DAMAGE.
 */
 
+require_once("util.inc");
 require_once("system.inc");
 
 $fp = fopen('php://stdin', 'r');