diff --git a/kernel/tclapi.cc b/kernel/tclapi.cc
index 5431271d68e..be39ca4a08c 100644
--- a/kernel/tclapi.cc
+++ b/kernel/tclapi.cc
@@ -17,16 +17,16 @@
  *
  */
 
+#include "kernel/yosys.h"
+#include "kernel/rtlil.h"
+#include "libs/json11/json11.hpp"
+
 #ifdef YOSYS_ENABLE_TCL
 #include <tcl.h>
 #include <tclTomMath.h>
 #include <tclTomMathDecls.h>
 #endif
 
-#include "kernel/yosys.h"
-#include "kernel/rtlil.h"
-#include "libs/json11/json11.hpp"
-
 YOSYS_NAMESPACE_BEGIN
 
 #ifdef YOSYS_ENABLE_TCL
diff --git a/passes/pmgen/Makefile.inc b/passes/pmgen/Makefile.inc
index 83f9b577af3..c2cd8b9e9ce 100644
--- a/passes/pmgen/Makefile.inc
+++ b/passes/pmgen/Makefile.inc
@@ -59,8 +59,6 @@ PEEPOPT_PATTERN += passes/pmgen/peepopt_shiftadd.pmg
 PEEPOPT_PATTERN += passes/pmgen/peepopt_muldiv.pmg
 PEEPOPT_PATTERN += passes/pmgen/peepopt_muldiv_c.pmg
 PEEPOPT_PATTERN += passes/pmgen/peepopt_muxadd.pmg
-PEEPOPT_PATTERN += passes/pmgen/peepopt_muldiv_c.pmg
-PEEPOPT_PATTERN += passes/pmgen/peepopt_muxadd.pmg
 PEEPOPT_PATTERN += passes/pmgen/peepopt_formal_clockgateff.pmg
 
 passes/pmgen/peepopt_pm.h: passes/pmgen/pmgen.py $(PEEPOPT_PATTERN)