+ fi
+
+@@ -33,7 +49,7 @@
+ if [ "$1" = "shutdown" ]; then
+ SHUTDOWN="true"
+ elif ! lsmod|grep -q vboxdrv; then
+- cat << EOF
++ show_message << EOF
+ WARNING: The vboxdrv kernel module is not loaded. Either there is no module
+ available for the current kernel (`uname -r`) or it failed to
+ load. Please recompile the kernel module and install it by
+@@ -43,7 +59,7 @@
+ You will not be able to start VMs until this problem is fixed.
+ EOF
+ elif [ ! -c /dev/vboxdrv ]; then
+- cat << EOF
++ show_message << EOF
+ WARNING: The character device /dev/vboxdrv does not exist. Try
+
+ sudo /etc/init.d/vboxdrv restart
+@@ -55,7 +71,7 @@
+ fi
+
+ if [ -f /etc/vbox/module_not_compiled ]; then
+- cat << EOF
++ show_message << EOF
+ WARNING: The compilation of the vboxdrv.ko kernel module failed during the
+ installation for some reason. Starting a VM will not be possible.
+ Please consult the User Manual for build instructions.