Fix use of size_t in printf formats. Patch #5727.