diff --git a/doc/progs/run b/doc/progs/run
index 2a76d6b2da0..5a2b7865163 100755
--- a/doc/progs/run
+++ b/doc/progs/run
@@ -68,7 +68,7 @@ for i in \
 done
 
 # Write to temporary file to avoid mingw bash bug.
-TMPFILE="/tmp/gotest3"
+TMPFILE="/tmp/gotest3.$USER"
 
 function testit {
 	$LD $1.$O