--- ../bench/bench1.run.orig	Tue Jul 24 14:02:20 2001
+++ ../bench/bench1.run	Wed Sep  5 13:57:02 2001
@@ -1 +1 @@
-../bin/timer bench1 1 y
+timer bench1 1 y