Merge pull request #878 from bvernoux/master

Fix error: unknown type name 'size_t'

py/misc.h

@@ -32,6 +32,7 @@
 /** types *******************************************************/
 
 #include <stdbool.h>
+#include <stddef.h>
 
 typedef unsigned char byte;
 typedef unsigned int uint;