diff -r f313d8fb8f49 -r f102cb0140fe lib/scripts/patch-scripts.bash
--- a/lib/scripts/patch-scripts.bash	Fri Jan 02 11:59:06 1998 +0100
+++ b/lib/scripts/patch-scripts.bash	Fri Jan 02 13:24:53 1998 +0100
@@ -23,7 +23,7 @@
     echo "$DEFAULT"
     return
   else
-    echo "WARNING: $BASE not found!" >&2
+    echo "ERROR: $BASE not found!" >&2
     echo "$DEFAULT"
     return
   fi