Fix more 64-bit printf warnings.