diff --git a/bench/ltl2tgba/known b/bench/ltl2tgba/known
index fbe309bf1..2dfbd9986 100755
--- a/bench/ltl2tgba/known
+++ b/bench/ltl2tgba/known
@@ -28,7 +28,7 @@
 conffile=known.cfg
 logfile=known.log
 sumfile=known.txt
-ltlfile=formulae.ltl
+ltlfile=$srcdir/formulae.ltl
 
 . "$srcdir/algorithms"
 
diff --git a/bench/ltlclasses/defs.in b/bench/ltlclasses/defs.in
index 20729104f..9591b478a 100644
--- a/bench/ltlclasses/defs.in
+++ b/bench/ltlclasses/defs.in
@@ -27,6 +27,7 @@ test -f ./defs || {
 }
 
 srcdir='@srcdir@'
+builddir='@builddir@'
 
 # Ensure $srcdir is set correctly.
 test -f "$srcdir/defs.in" || {
diff --git a/bench/ltlclasses/run b/bench/ltlclasses/run
index 66d09d2d1..6ce1473ef 100755
--- a/bench/ltlclasses/run
+++ b/bench/ltlclasses/run
@@ -22,7 +22,7 @@
 
 . ./defs
 
-gen="$srcdir/../../src/ltltest/genltl"
+gen="$builddir/../../src/ltltest/genltl"
 
 for F in 1 2 3 4 5; do
   echo "# Benching ltl2tgba_fm for family F=$F"