diff --git a/python/port/genhdr/mpversion.h b/python/port/genhdr/mpversion.h
deleted file mode 100644
index 41fb02eec..000000000
--- a/python/port/genhdr/mpversion.h
+++ /dev/null
@@ -1,4 +0,0 @@
-// This file was generated by py/makeversionhdr.py
-#define MICROPY_GIT_TAG "v1.11-dirty"
-#define MICROPY_GIT_HASH "6f75c4f3c-dirty"
-#define MICROPY_BUILD_DATE "2019-08-21"