error while compiling with new installed toolchain and libopencm3

[Virtex7]

ich bin wie in der von mir angefangen README geschrieben vorgegangen, toolchain und lib liegen an den gegebenen Orten (habe im Makefile die LIB zusätzlich mit einem -I included) und werden wohl auch gefunden, trotzdem compiliert es nicht und ich bekomme folgende Fehlermeldung aus der Konsole:

philipp@philipp-desktop:~/packages/pcbwriter/firmware$ make
In file included from /usr/local/arm-none-eabi/include/libopencm3/cm3/common.h:23:0,
from /usr/local/arm-none-eabi/include/libopencm3/stm32/f4/rcc.h:27,
from dac.c:1:
/usr/lib/gcc/arm-none-eabi/4.8.2/include/stdint.h:9:26: fatal error: stdint.h: No such file or directory

include_next <stdint.h>

^
compilation terminated.
make: *** [dac.o] Fehler 1

die datei "stdint.h" existiert, allerdings gibt es eine solche Datei in der gesamten libopencm3 nicht.