diff --git a/py/misc.h b/py/misc.h
index 15a8805755..4a100af29d 100644
--- a/py/misc.h
+++ b/py/misc.h
@@ -83,7 +83,10 @@ void vstr_add_strn(vstr_t *vstr, const char *str, int len);
 //void vstr_add_le32(vstr_t *vstr, unsigned int v);
 void vstr_cut_tail(vstr_t *vstr, int len);
 void vstr_printf(vstr_t *vstr, const char *fmt, ...);
+
+#ifdef va_start
 void vstr_vprintf(vstr_t *vstr, const char *fmt, va_list ap);
+#endif
 
 /** unique string ***********************************************/
 
diff --git a/py/runtime.c b/py/runtime.c
index ef3897bbef..5c044d2216 100644
--- a/py/runtime.c
+++ b/py/runtime.c
@@ -5,6 +5,7 @@
 #include <stdint.h>
 #include <stdlib.h>
 #include <stdio.h>
+#include <stdarg.h>
 #include <string.h>
 #include <assert.h>
 
@@ -614,8 +615,6 @@ void py_user_set_data(py_obj_t o, machine_uint_t data1, machine_uint_t data2) {
     ((py_obj_base_t*)o)->u_user.data2 = data2;
 }
 
-#include <stdarg.h>
-
 void printf_wrapper(void *env, const char *fmt, ...) {
     va_list args;
     va_start(args, fmt);