diff --git a/ports/cc3200/application.mk b/ports/cc3200/application.mk
index b216ca16dd..2125274ae1 100644
--- a/ports/cc3200/application.mk
+++ b/ports/cc3200/application.mk
@@ -182,7 +182,7 @@ ifeq ($(BTYPE), release)
 CFLAGS += -DNDEBUG
 else
 ifeq ($(BTYPE), debug)
-CFLAGS += -DNDEBUG
+CFLAGS += -DDEBUG
 else
 $(error Invalid BTYPE specified)
 endif
diff --git a/ports/cc3200/mods/modmachine.c b/ports/cc3200/mods/modmachine.c
index ddecd47f2b..89800810c7 100644
--- a/ports/cc3200/mods/modmachine.c
+++ b/ports/cc3200/mods/modmachine.c
@@ -26,6 +26,7 @@
  */
 
 #include <stdint.h>
+#include <stdio.h>
 
 #include "py/runtime.h"
 #include "py/mphal.h"