diff -r d7c256cb2797 -r 545cc67324d8 src/Pure/System/cygwin.scala
--- a/src/Pure/System/cygwin.scala	Sat Sep 25 17:28:41 2010 +0200
+++ b/src/Pure/System/cygwin.scala	Sun Sep 26 19:32:45 2010 +0200
@@ -111,7 +111,9 @@
 
     val setup_exe = new File(root, "setup.exe")
 
-    try { Download.file(parent, new URL("http://www.cygwin.com/setup.exe"), setup_exe) }
+    try {
+      Download.file(parent, "Downloading", new URL("http://www.cygwin.com/setup.exe"), setup_exe)
+    }
     catch { case _: RuntimeException => error("Failed to download Cygwin setup program") }
 
     val (_, rc) = Standard_System.raw_exec(root, null, true,