Fix printfs for int32/64_t's