[builtins] Fix build after D95537 due to missing size_t

Strangely int_lib.h only includes stdint.h and not stddef.h, so we need
to include the latter to be able to use size_t here.