src/Pure/Tools/build.ML

               (pair string (pair string (pair string
               ((list (pair Options.decode (list (string #> rpair Position.none))))))))))))))
         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 _ =
       Session.init
         symbols