having trouble building espruino for STM32F411DISCOVERY

In fact I had downloaded a zip. But today I tried the

git clone https://github.com/espruino/Espruino

method. And sort of good news, I got a different error.

[user@hostname Espruino]$ sudo STM32F411DISCOVERY=1 WIZNET=1 make
CC src/jslex.o
In file included from /home/user/Downloads/building-espruino-4­11/Espruino/targetlibs/arm/core_cm4.h:14­3:0,
                 from /home/user/Downloads/building-espruino-4­11/Espruino/targetlibs/stm32f4/lib/stm32­f411xe.h:160,
                 from /home/user/Downloads/building-espruino-4­11/Espruino/targetlibs/stm32f4/lib/stm32­f4xx.h:173,
                 from /home/user/Downloads/building-espruino-4­11/Espruino/gen/platform_config.h:13,
                 from src/jsutils.h:17,
                 from src/jslex.h:17,
                 from src/jslex.c:14:
/usr/lib/gcc/arm-none-eabi/6.2.0/include­/stdint.h:9:26: fatal error: stdint.h: No such file or directory
 # include_next <stdint.h>
                          ^
compilation terminated.
make: *** [Makefile:1884: src/jslex.o] Error 1
[user@hostname Espruino]$ 

I see it knew to grab my /usr/lib/gcc/arm-none-eabi this time, so i assume it's not a path problem.