--- src/drat_trim_interface.cc.orig	2019-06-06 09:22:07.598736625 -0600
+++ src/drat_trim_interface.cc	2019-06-06 15:49:16.380461463 -0600
@@ -47,8 +47,6 @@ int CheckAndConvertToLRAT(const string&
 {
   vector<string> args;
   args.push_back("");
-  args.push_back(input_formula_path);
-  args.push_back(input_proof_path);
   switch (verbosity) {
     case options::VERBOSE:
       args.push_back("-b");
@@ -59,6 +57,8 @@ int CheckAndConvertToLRAT(const string&
     default:
       break;
   }
+  args.push_back(input_formula_path);
+  args.push_back(input_proof_path);
   args.push_back("-L");
   args.push_back(output_proof_path);
 
@@ -78,8 +78,6 @@ int OptimizeWithDratTrim(const string& i
 {
   vector<string> args;
   args.push_back("");
-  args.push_back(input_formula_path);
-  args.push_back(input_proof_path);
   switch (verbosity) {
     case options::VERBOSE:
       args.push_back("-b");
@@ -90,6 +88,8 @@ int OptimizeWithDratTrim(const string& i
     default:
       break;
   }
+  args.push_back(input_formula_path);
+  args.push_back(input_proof_path);
   args.push_back("-C"); // Binary output
   args.push_back("-l"); // DRAT output
   args.push_back(output_proof_path);