Need <stddef.h> on Marco's machine