Index: INSTALL
--- INSTALL.orig	2014-03-06 11:00:08.000000000 +0100
+++ INSTALL	2014-12-26 11:14:12.074770882 +0100
@@ -213,5 +213,5 @@
 	echo "	PLAN9=$PLAN9 export PLAN9"
 	echo '	PATH=$PATH:$PLAN9/bin export PATH'
 fi
-) 2>&1 | tee install.log | $awk -f $PLAN9/dist/isum.awk -v 'copy='install.sum
+)