diff --git a/benchexec/tools/moxi-mc-flow.py b/benchexec/tools/moxi-mc-flow.py
index f4f3b0c92..ce29d226d 100644
--- a/benchexec/tools/moxi-mc-flow.py
+++ b/benchexec/tools/moxi-mc-flow.py
@@ -32,9 +32,6 @@ def name(self):
     def project_url(self):
         return "https://github.com/ModelChecker/moxi-mc-flow"
 
-    def program_files(self, executable):
-        return self._program_files_from_executable(executable, self.REQUIRED_PATHS)
-
     def cmdline(self, executable, options, task, rlimits):
         if rlimits.cputime and "--timeout" not in options:
             options += ["--timeout", str(ceil(rlimits.cputime * 1.05))]
diff --git a/benchexec/tools/moxichecker.py b/benchexec/tools/moxichecker.py
index 0764f511f..11621f37d 100644
--- a/benchexec/tools/moxichecker.py
+++ b/benchexec/tools/moxichecker.py
@@ -29,7 +29,7 @@ def version(self, executable):
         return self._version_from_tool(executable)
 
     def program_files(self, executable):
-        return self._program_files_from_executable(
+        return [executable] + self._program_files_from_executable(
             executable, self.REQUIRED_PATHS, parent_dir=True
         )