Conflicting types from kernel-headers and glibc-headers