diff -r 9a7d81d66d09 -r d55eb82ae77b src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Mon Jan 14 21:37:42 2013 +0100
+++ b/src/Pure/Tools/build.scala	Mon Jan 14 22:24:57 2013 +0100
@@ -424,7 +424,7 @@
     // global browser info dir
     if (info.options.bool("browser_info") && !(browser_info + Path.explode("index.html")).is_file)
     {
-      browser_info.file.mkdirs()
+      Isabelle_System.mkdirs(browser_info)
       File.copy(Path.explode("~~/lib/logo/isabelle.gif"),
         browser_info + Path.explode("isabelle.gif"))
       File.write(browser_info + Path.explode("index.html"),
@@ -614,7 +614,7 @@
       }
 
     // prepare log dir
-    (output_dir + LOG).file.mkdirs()
+    Isabelle_System.mkdirs(output_dir + LOG)
 
     // optional cleanup
     if (clean_build) {