Fix size_t format specifiers in printf() calls.