stddef.h (et al) should be shipped by the compiler itself, and so it should know where it is. But they rely on gcc for it, hence it doesn't always know where to look. Seems totally fine for a prototype.

Especially given they're not shipping anything. The GCC binaries can't find misplaced or not installed headers either.