Fix 64-bit host printf format mismatches.