diff -r bad14b7d0520 -r 7ed922d15827 lib/Tools/mkfifo
--- a/lib/Tools/mkfifo	Sat Sep 18 17:39:23 2010 +0200
+++ b/lib/Tools/mkfifo	Sat Sep 18 19:38:27 2010 +0200
@@ -31,7 +31,10 @@
 
 [ "$#" != 0 ] && usage
 
-FIFO="/tmp/isabelle-fifo${PPID}${SUFFIX}"
+ID="$PPID"
+[ "$ID" = 0 -o "$ID" = 1 ] && ID="$$"  # Cygwin workaround
+
+FIFO="/tmp/isabelle-fifo${ID}${SUFFIX}"
 
 mkfifo -m 600 "$FIFO" || fail "Failed to create fifo: $FIFO"
 echo "$FIFO"