fix for <stddef.h>