diff --git a/stm/file.c b/stm/file.c
index 35bfca16a5..84f7251fec 100644
--- a/stm/file.c
+++ b/stm/file.c
@@ -3,7 +3,6 @@
 
 #include "misc.h"
 #include "mpconfig.h"
-#include "mpconfigport.h"
 #include "qstr.h"
 #include "obj.h"
 #include "file.h"