diff --git a/teensy/main.c b/teensy/main.c
index fdedff89cc57faedeff79b6e5f3523eb2947804f..a5b2d5b52c4782e1897cbe0af657f27180d8b2a0 100644
--- a/teensy/main.c
+++ b/teensy/main.c
@@ -15,7 +15,6 @@
 #include "gc.h"
 #include "gccollect.h"
 #include "pyexec.h"
-#include "pybstdio.h"
 #include "readline.h"
 
 #include "Arduino.h"
@@ -24,8 +23,9 @@
 #include "servo.h"
 #include "usb.h"
 #include "led.h"
-
+#include "uart.h"
 //#include "pin.h"
+#include "pybstdio.h"
 
 
 extern uint32_t _heap_start;
diff --git a/teensy/modpyb.c b/teensy/modpyb.c
index 64b9bda2d97049b825ee821e4c9516b4ec178185..81149d89bffff63cbc7342a988f8b86c242cbb84 100644
--- a/teensy/modpyb.c
+++ b/teensy/modpyb.c
@@ -39,7 +39,6 @@
 #include "gc.h"
 #include "gccollect.h"
 #include "systick.h"
-#include "pybstdio.h"
 #include "pyexec.h"
 #include "led.h"
 #include "pin.h"
@@ -59,6 +58,7 @@
 #include "dac.h"
 #include "usb.h"
 #include "portmodules.h"
+#include "pybstdio.h"
 
 /// \module pyb - functions related to the pyboard
 ///
diff --git a/teensy/usb.c b/teensy/usb.c
index 5af5d7e444a0f1f1afe4cb978557dbcf350a87f3..37c479ec7cb6a03c03b4f51366468c52a0855d2c 100644
--- a/teensy/usb.c
+++ b/teensy/usb.c
@@ -25,7 +25,7 @@ int usb_vcp_rx_num(void) {
   return usb_serial_available();
 }
 
-char usb_vcp_rx_get(void)
+int usb_vcp_recv_byte(void)
 {
   return usb_serial_getchar();
 }