This libc stuff was taken out of L4/MIPS. It is more or less a hack.
Compile with gcc.
