    load_auto();
  
    pivot_inputs();
-@@ -7487,6 +7586,7 @@
+@@ -7487,6 +7592,7 @@
  
    start_time = get_cur_time();
  

 
     switch (opt) {
 
@@ -7293,6 +7381,17 @@
         out_dir = optarg;
         break;
 

       case 'M':
 
         force_deterministic = 1;
@@ -7470,7 +7575,7 @@
   setup_shm();
 
   setup_dirs_fds();
