proper admin tool;

--- a/src/Pure/Admin/build_polyml.scala	Sat Nov 12 11:19:30 2016 +0100
+++ b/src/Pure/Admin/build_polyml.scala	Sat Nov 12 12:06:42 2016 +0100
@@ -185,5 +185,5 @@
         build_polyml(root, sha1_root = sha1_root, progress = new Console_Progress,
           arch_64 = arch_64, options = options, other_bash = other_bash)
       }
-    })
+    }, admin = true)
 }