Fix printf on x86_64.

Blah blah blah "footnotes are non-normative". :|