diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 1ec530e9d..b95f72e5a 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1872,7 +1872,7 @@ class MLComponent(Component):
 
             for m in self.modules:
                 mf = os.path.join(self.sub_dir, m)
-                out.write(' %s.mli %s.cmi' % (mf, mf, mf))
+                out.write(' %s.mli %s.cmi' % (mf, mf))
             out.write(' %s' % ((os.path.join(self.sub_dir, 'libz3ml$(LIB_EXT)'))))
             out.write(' %s' % ((os.path.join(self.sub_dir, 'z3ml$(LIB_EXT)'))))
             out.write(' %s' % ((os.path.join(self.sub_dir, 'z3ml.cma'))))