diff --git a/etc/rc.banner b/etc/rc.banner
index 34fd7b68a9..7017f513fe 100755
--- a/etc/rc.banner
+++ b/etc/rc.banner
@@ -32,6 +32,7 @@
 
 	/* parse the configuration and include all functions used below */
 	require_once("config.inc");
+	require_once("functions.inc");
 
 	$version = trim(file_get_contents("{$g['etc_path']}/version"));
 	$platform = trim(file_get_contents("{$g['etc_path']}/platform"));