src/Pure/Admin/ci_profile.scala

   {
     val progress = new Console_Progress(verbose = true)
     val start_time = Time.now()
     val results = progress.interrupt_handler {
       Build.build(
-        options = options,
+        options = options + "system_heaps",
         progress = progress,
         clean_build = clean,
         verbose = true,
         numa_shuffling = numa,
         max_jobs = jobs,
         dirs = include,
         select_dirs = select,
-        system_mode = true,
         selection = selection)
     }
     val end_time = Time.now()
     (results, end_time - start_time)
   }