--- Spin/Xspin4.2/xspin426.tcl.~1~	2005-10-28 04:19:07.000000000 +0200
+++ Spin/Xspin4.2/xspin426.tcl	2005-11-06 14:32:22.000000000 +0100
@@ -6804,7 +6804,7 @@
 	set NextCompile ""
 
 	if {$Unix} {
-		set PREFIX "time ./pan -v"
+		set PREFIX "./pan -v"
 	} else {
 		set PREFIX "pan -v"
 	}