Fixup include of stdarg and va_list definition.

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 ***********************************************/
 

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);