Add 32-bit libc