src/Pure/Admin/build_cygwin.scala

 
       val more_args = getopts(args)
       if (more_args.nonEmpty) getopts.usage()
 
       build_cygwin(new Console_Progress(), mirror = mirror, more_packages = more_packages)
-    }, admin = true)
+    })
 }