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