diff --git a/ChangeLog b/ChangeLog
index 6e381848a..30d4f2b89 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2004-01-26  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbatest/defs.in (run): Use libtool --mode=execute.
+
 2004-01-23  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbaalgos/ltl2tgba_fm.cc (ltl_to_tgba_fm): Merge transitions
diff --git a/src/tgbatest/defs.in b/src/tgbatest/defs.in
index bddc8792d..0ae03df41 100644
--- a/src/tgbatest/defs.in
+++ b/src/tgbatest/defs.in
@@ -59,6 +59,7 @@ run()
   if test -n "$VALGRIND"; then
     exec 6>valgrind.err
     GLIBCPP_FORCE_NEW=1 \
+    ../../libtool --mode=execute \
     $VALGRIND --leak-check=yes --logfile-fd=6 -q "$@" || exitcode=$?
     cat valgrind.err 1>&2
     test -z "`sed 1q valgrind.err`" || exit 50