Workaround bug in types.h that has typedef __u64 under #ifndef __STRICT_ANSI__.