libc.*: add platform files