do use $$ in path names, so that multiple

runs on the same machine don't collide.

R=r
DELTA=4  (0 added, 1 deleted, 3 changed)
OCL=30426
CL=30429

test/run

@@ -26,10 +26,9 @@ failed=0
 
 PATH=/bin:/usr/bin:$HOME/bin:`pwd`
 
-# don't use $$ in file names to avoid spurious diffs
-RUNFILE=/tmp/gorun-$USER
-TMP1FILE=/tmp/gotest1-$USER
-TMP2FILE=/tmp/gotest2-$USER
+RUNFILE=/tmp/gorun-$$-$USER
+TMP1FILE=/tmp/gotest1-$$-$USER
+TMP2FILE=/tmp/gotest2-$$-$USER
 
 # don't run the machine out of memory: limit individual processes to 4GB.
 # on thresher, 3GB suffices to run the tests; with 2GB, peano fails.