Remove duplicated stdio.h include

targets/lib.h

@@ -40,6 +40,7 @@
 
 #ifdef TARGET_LINUX
 #include "stdio.h"
+#include <string.h>
 #define MAIN int main(int argc, char *argv[])
 #define PRINT(fmt, ...) fprintf(stdout, fmt, ##__VA_ARGS__)
 #define PRINT_ERROR(fmt, ...)                                                  \

targets/wasm-host/wasm_host.c

@@ -3,10 +3,6 @@
 #include "bh_platform.h"
 
 #include "__WASM_ARRAY_FILE__"
-#ifdef TARGET_LINUX
-#include <stdio.h>
-#include <string.h>
-#endif
 
 // FAIL* instrumentation symbols
 void fail_start_trace(void) {}
@@ -60,13 +56,11 @@ static char linear_pool_buf[LINEAR_POOL_SIZE];
 
 // mem_alloc_usage_t: 0 = Alloc_For_Runtime, 1 = Alloc_For_LinearMemory
 static BumpPool pools[] = {
-  { runtime_pool_buf, RUNTIME_POOL_SIZE, 0 },
-  { linear_pool_buf,  LINEAR_POOL_SIZE,  0 },
+    {runtime_pool_buf, RUNTIME_POOL_SIZE, 0},
+    {linear_pool_buf, LINEAR_POOL_SIZE, 0},
 };
 
-static size_t align_up(size_t x, size_t a) {
-  return (x + a - 1) & ~(a - 1);
-}
+static size_t align_up(size_t x, size_t a) { return (x + a - 1) & ~(a - 1); }
 
 static size_t alloc_size(void *ptr) {
   size_t header_size = align_up(sizeof(size_t), ALIGNMENT);