diff --git a/stmhal/file.c b/stmhal/file.c
index a00c9a8f8f..079ab3965b 100644
--- a/stmhal/file.c
+++ b/stmhal/file.c
@@ -70,7 +70,7 @@ typedef struct _pyb_file_obj_t {
 } pyb_file_obj_t;
 
 void file_obj_print(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t self_in, mp_print_kind_t kind) {
-    printf("<io.%s %p>", mp_obj_get_type_str(self_in), self_in);
+    print(env, "<io.%s %p>", mp_obj_get_type_str(self_in), self_in);
 }
 
 STATIC machine_int_t file_obj_read(mp_obj_t self_in, void *buf, machine_uint_t size, int *errcode) {
diff --git a/stmhal/printf.c b/stmhal/printf.c
index e95f23abae..26c552039f 100644
--- a/stmhal/printf.c
+++ b/stmhal/printf.c
@@ -195,7 +195,7 @@ int pfenv_printf(const pfenv_t *pfenv, const char *fmt, va_list args) {
     return chrs;
 }
 
-void stdout_print_strn(void *data, const char *str, unsigned int len) {
+STATIC void stdout_print_strn(void *data, const char *str, unsigned int len) {
     // TODO this needs to be replaced with a proper stdio interface ala CPython
     // send stdout to UART and USB CDC VCP
     if (pyb_uart_global_debug != PYB_UART_NONE) {
diff --git a/stmhal/pybstdio.c b/stmhal/pybstdio.c
index 59e1ead567..05ea06eb44 100644
--- a/stmhal/pybstdio.c
+++ b/stmhal/pybstdio.c
@@ -96,7 +96,7 @@ typedef struct _pyb_stdio_obj_t {
 
 void stdio_obj_print(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t self_in, mp_print_kind_t kind) {
     pyb_stdio_obj_t *self = self_in;
-    printf("<io.FileIO %d>", self->fd);
+    print(env, "<io.FileIO %d>", self->fd);
 }
 
 STATIC machine_int_t stdio_read(mp_obj_t self_in, void *buf, machine_uint_t size, int *errcode) {