generated headers for ARM bionic libc