diff -r 79def3619417 -r c2a90e8b4831 lib/scripts/patch-scripts.bash
--- a/lib/scripts/patch-scripts.bash	Fri Mar 07 14:49:56 1997 +0100
+++ b/lib/scripts/patch-scripts.bash	Fri Mar 07 14:51:50 1997 +0100
@@ -13,14 +13,14 @@
   local BINARY=""
 
   if [ -f "$DEFAULT" ]; then	# preferred location
-    echo "found $DEFAULT" >&2
+    echo "using $DEFAULT" >&2
     echo "$DEFAULT"
     return
   else				# find in PATH
     BASE=$(basename "$DEFAULT")
     BINARY=$(type -path "$BASE")
     if [ -n "$BINARY" ]; then
-      echo "found $BINARY" >&2
+      echo "using $BINARY" >&2
       echo "$BINARY"
       return
     else