Fix stddef.h