diff --git a/product-mini/platforms/common/wasm_proposal.c b/product-mini/platforms/common/wasm_proposal.c
index 4bf6ab3e9..12bbf79bc 100644
--- a/product-mini/platforms/common/wasm_proposal.c
+++ b/product-mini/platforms/common/wasm_proposal.c
@@ -5,6 +5,8 @@
 
 #include <stdio.h>
 
+#include "bh_platform.h"
+
 void
 wasm_proposal_print_status(void)
 {