Why do these need libc?