 -          *orig_cmdline;              /* Original command line            */
 +          *target_binary_path,        /* Path to target binary, not qemu  */
 +          *orig_cmdline,              /* Original command line            */
-+          file_type;                  /* ELF or CGC binary?               */
++          file_type,                  /* ELF or CGC binary?               */
++          do_eof_exit;                /* Do we need to exit on EOF?       */
  
  static u32 exec_tmout = EXEC_TIMEOUT; /* Configurable exec timeout (ms)   */
  static u64 mem_limit = MEM_LIMIT;     /* Memory cap for child (MB)        */
-@@ -153,7 +158,8 @@
+@@ -153,7 +159,8 @@
             bytes_trim_in,             /* Bytes coming into the trimmer    */
             bytes_trim_out,            /* Bytes coming outa the trimmer    */
             blocks_eff_total,          /* Blocks subject to effector maps  */

   if (!bytes_trim_out) {
 
     sprintf(tmp, "n/a, ");
@@ -3979,9 +3991,15 @@
 
   }
 

 
   tmp = ck_alloc(64 * 1024);
 
@@ -3691,7 +3702,7 @@
 
   sprintf(tmp + banner_pad, "%s " cLCY VERSION cLGN
           " (%s)",  crash_mode ? cPIN "peruvian were-rabbit" : 
