Remove hardcoded LEDA path - this is the default, anyway, and it

prevents us from running the testsuite if we are just using the
prebuilt assign binary.

testsuite/tbtest

@@ -380,8 +380,7 @@ sub step_init {
 	$testmode = "--enable-testmode";
     }
     tbexec("$basedir/../configure --prefix=$path/install $testmode ".
-	   "--disable-events ".
-	   "--with-TBDEFS=$path/defs --with-LEDA=/usr/testbed/LEDA/LEDA-4.0",
+	   "--disable-events --with-TBDEFS=$path/defs",
 	   "$path/configure.log");
     
     prints "  Building ";