--- ../bench/bench5.run.orig	Tue Jul 24 14:02:20 2001
+++ ../bench/bench5.run	Wed Sep  5 14:03:07 2001
@@ -1,3 +1,3 @@
 cp bench5.dyn0 bench5.dyn
-time ../bin/dynamic bench5 100 1.0 10.0 2 298.0
+time dynamic bench5 100 1.0 10.0 2 298.0
 rm bench5.dyn
