diff --git a/ChangeLog b/ChangeLog
index 84a32334b..ad5d22cf5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2008-06-12  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* iface/nips/nipstest/dotty.test,
+	iface/nips/nipstest/emptiness.test: Prefix bytecode filenames
+	with $srcdir so the tests work in VPATH builds.
+
 2008-06-12  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* wrap/python/spot.i: Adjust includes after the previous patch.
diff --git a/iface/nips/nipstest/dotty.test b/iface/nips/nipstest/dotty.test
index 2bb180628..201d10d8b 100755
--- a/iface/nips/nipstest/dotty.test
+++ b/iface/nips/nipstest/dotty.test
@@ -4,10 +4,9 @@
 
 set -e
 
-
 BYTECODE="never.pr.b regbit.b"
 for bytecode in $BYTECODE; do
-    run 0 ${top_builddir}/dottynips ${bytecode} > dotty || exit 1
-    ${DOT} -Tps dotty > /dev/null || exit 1
+    run 0 "$top_builddir/dottynips" "$srcdir/$bytecode" > dotty || exit 1
+    "$DOT" -Tps dotty > /dev/null || exit 1
     rm -f dotty
 done
diff --git a/iface/nips/nipstest/emptiness.test b/iface/nips/nipstest/emptiness.test
index d92b2e5de..fb93ac2f5 100755
--- a/iface/nips/nipstest/emptiness.test
+++ b/iface/nips/nipstest/emptiness.test
@@ -10,7 +10,7 @@ ALGO="Cou99 CVWY90 GV04 SE05 Tau03 Tau03"
 BYTECODE="dinner.pr.nips.b never.pr.b"
 for algo in $ALGO; do
     for bytecode in $BYTECODE; do
-	run 0 ${top_builddir}/empt_check -c -e${algo} ${bytecode} |
+	run 0 "$top_builddir/empt_check" -c -e$algo "$srcdir/$bytecode" |
 	grep '^non empty$' > /dev/null  || exit 1
     done
 done
@@ -19,7 +19,7 @@ done
 BYTECODE="peterson.pm.b"
 for algo in $ALGO; do
     for bytecode in $BYTECODE; do
-	run 0 ${top_builddir}/empt_check -c -e${algo} ${bytecode} |
+	run 0 "$top_builddir/empt_check" -c -e$algo "$srcdir/$bytecode" |
 	grep '^empty$' > /dev/null || exit 1
     done
 done