small libc for powerpc64-ps3-elf