diff -r 67e9b7239548 -r 8de4ea6de3d0 configure
--- a/configure	Mon Sep 11 17:35:17 2000 +0200
+++ b/configure	Mon Sep 11 17:35:50 2000 +0200
@@ -8,9 +8,11 @@
 
 ## patch scripts
 
+THIS=`dirname "$0"`
+
 if bash -c :
 then
-  bash lib/scripts/patch-scripts.bash
+  bash "$THIS/lib/scripts/patch-scripts.bash"
 else
   echo "FATAL ERROR: bash not found!"
   exit 2