Correct types for printf

Fixes compiler warnings about 64-bit `size_t` used with 32-bit `%d`.