  
  #else
  
-@@ -7166,7 +7190,7 @@
+@@ -7166,7 +7196,7 @@
  static char** get_qemu_argv(u8* own_loc, char** argv, int argc) {
  
    char** new_argv = ck_alloc(sizeof(char*) * (argc + 4));

 
 /* Main entry point */
 
@@ -7274,7 +7402,7 @@
 
   doc_path = access(DOC_PATH, F_OK) ? "docs" : DOC_PATH;
 

     return new_argv;
 
   }
@@ -7257,6 +7298,99 @@
 
 }
 
