diff -r 22a17cec2efe -r c18a68a3a1f1 src/Pure/Tools/build.ML
--- a/src/Pure/Tools/build.ML	Sat Mar 26 12:35:11 2016 +0100
+++ b/src/Pure/Tools/build.ML	Sat Mar 26 13:41:14 2016 +0100
@@ -135,7 +135,8 @@
         end;
 
     val symbols = HTML.make_symbols symbol_codes;
-    val _ = Isabelle_Process.init_build_options ();
+    val _ = Options.load_default ();
+    val _ = Isabelle_Process.init_options ();
 
     val _ = writeln ("\fSession.name = " ^ name);
     val _ =