improvements in libc headers