On GNU/kFreeBSD, the glibc-provided alloca.h and signal.h can be used, instead of the ones the compat headers would try to include instead.
@@ -1 +1,5 @@
+#if BX_CRT_GLIBC
+#include_next <alloca.h>
+#else
#include <stdlib.h>
+#endif
+#ifdef BX_CRT_GLIBC
+#include_next <signal.h>
#include <sys/signal.h>