small improvements in libc headers