diff --git a/src/extras/debugmenu.cpp b/src/extras/debugmenu.cpp
index 3a4c4175..533b97f5 100644
--- a/src/extras/debugmenu.cpp
+++ b/src/extras/debugmenu.cpp
@@ -5,7 +5,7 @@
 #include "ControllerConfig.h"
 #include "Timer.h"
 #include "rtcharse.h"
-#include "inttypes.h"
+#include "re3_inttypes.h"
 #include "debugmenu.h"
 #include <new>
 
diff --git a/src/extras/inttypes.h b/src/extras/re3_inttypes.h
similarity index 100%
rename from src/extras/inttypes.h
rename to src/extras/re3_inttypes.h