Add missing #include <stdint.h> for SIZE_MAX