gnulib.mk (stddef.h): Sync with the latest change in lib/gnulib.mk.