Use SIZET_FORMAT to print size_t

This should help with compatibility with 32-bit targets.