Fix printf() conversion integer length (size_t != int on 64 bits).