diff --git a/tests/perf/s2n-quic b/tests/perf/s2n-quic
index f568f269ee5c..75afd77dfa88 160000
--- a/tests/perf/s2n-quic
+++ b/tests/perf/s2n-quic
@@ -1 +1 @@
-Subproject commit f568f269ee5c9896f4936089c26dfbb3f87f4dab
+Subproject commit 75afd77dfa88d696900f12ee747409ddb208a745
diff --git a/tools/compiletest/src/runtest.rs b/tools/compiletest/src/runtest.rs
index 7925ed83e6e5..50f1e3035ac8 100644
--- a/tools/compiletest/src/runtest.rs
+++ b/tools/compiletest/src/runtest.rs
@@ -272,14 +272,14 @@ impl<'test> TestCx<'test> {
             .arg("kani")
             .arg("--target-dir")
             .arg(self.output_base_dir().join("target"))
-            .current_dir(parent_dir)
-            .args(&self.config.extra_args);
+            .current_dir(parent_dir);
         if test {
             cargo.arg("--tests");
         }
         if "expected" != self.testpaths.file.file_name().unwrap() {
             cargo.args(["--harness", function_name]);
         }
+        cargo.args(&self.config.extra_args);
 
         let proc_res = self.compose_and_run(cargo);
         self.verify_output(&proc_res, &self.testpaths.file);