libc: x86_32 files