Debug assertions cause stack overflow

Header from ecos is pulled in instead of libc header from toolchain, so that assert calls printf which causes a stack overflow