having trouble building espruino for STM32F411DISCOVERY

the contents of

/usr/lib/gcc/arm-none-eabi/6.2.0/include/stdint.h

are:

ifndef _GCC_WRAP_STDINT_H
if __STDC_HOSTED__
 if defined __cplusplus && __cplusplus >= 201103L
  undef __STDC_LIMIT_MACROS
  define __STDC_LIMIT_MACROS
  undef __STDC_CONSTANT_MACROS
  define __STDC_CONSTANT_MACROS
 endif
 include_next <stdint.h>
else
 include "stdint-gcc.h"
endif
define _GCC_WRAP_STDINT_H
endif

[NOTE: in the contents above, I removed the "#" at the beginning of each line to prevent forum language from seeping through like this]

[#endif](https://forum.espruino.com/search/?q=%23endif)

, seems like it is trying to call itself, via

# include_next <stdint.h>

and failing.