diff --git a/cc3200/bootmgr/main.c b/cc3200/bootmgr/main.c
index 97c8b36af4..0d9ab35f83 100644
--- a/cc3200/bootmgr/main.c
+++ b/cc3200/bootmgr/main.c
@@ -26,8 +26,7 @@
 
 #include <stdint.h>
 #include <stdbool.h>
-
-#include "std.h"
+#include <stdio.h>
 
 #include "py/mpconfig.h"
 #include "hw_ints.h"
diff --git a/cc3200/mods/modmachine.c b/cc3200/mods/modmachine.c
index 8a57c2eb45..3c4e5a1169 100644
--- a/cc3200/mods/modmachine.c
+++ b/cc3200/mods/modmachine.c
@@ -26,7 +26,6 @@
  */
 
 #include <stdint.h>
-#include "std.h"
 
 #include "py/mpstate.h"
 #include "py/runtime.h"
diff --git a/cc3200/mods/modnetwork.c b/cc3200/mods/modnetwork.c
index 89d61e939a..c592eced22 100644
--- a/cc3200/mods/modnetwork.c
+++ b/cc3200/mods/modnetwork.c
@@ -25,8 +25,6 @@
  * THE SOFTWARE.
  */
 
-#include <std.h>
-
 #include "py/mpstate.h"
 #include "py/obj.h"
 #include "py/nlr.h"
diff --git a/cc3200/mods/modussl.c b/cc3200/mods/modussl.c
index 7a4787b6b3..95ecdbce7d 100644
--- a/cc3200/mods/modussl.c
+++ b/cc3200/mods/modussl.c
@@ -25,7 +25,6 @@
  */
 
 #include <stdint.h>
-#include <std.h>
 
 #include "simplelink.h"
 #include "py/mpconfig.h"
diff --git a/cc3200/mods/pybrtc.c b/cc3200/mods/pybrtc.c
index db00f49399..510a9050dd 100644
--- a/cc3200/mods/pybrtc.c
+++ b/cc3200/mods/pybrtc.c
@@ -25,8 +25,6 @@
  * THE SOFTWARE.
  */
 
-#include <std.h>
-
 #include "py/mpconfig.h"
 #include "py/obj.h"
 #include "py/runtime.h"