play nice with stddef.h