diff --git a/benchexec/tools/moxi-mc-flow.py b/benchexec/tools/moxi-mc-flow.py
index a83cedc12..cb4aa2e15 100644
--- a/benchexec/tools/moxi-mc-flow.py
+++ b/benchexec/tools/moxi-mc-flow.py
@@ -37,7 +37,7 @@ def program_files(self, executable):
     def cmdline(self, executable, options, task, rlimits):
         if rlimits.cputime and "--timeout" not in options:
             options += ["--timeout", str(rlimits.cputime)]
-        return ["python3", executable, *options, task.single_input_file]
+        return ["python3", executable, task.single_input_file, *options]
 
     def determine_result(self, run):
         """