Hi: I wonder if this Isn't already fixed by the following: https://packages.debian.org/sid/libnewlib-dev https://packages.debian.org/sid/libnewlib-arm-none-eabi https://packages.debian.org/sid/newlib-source If I'm correct, also available on Jessie. Regards, -- Raúl Sánchez Siles ----->Proud Debian user<----- Linux registered user #416098