[system,dump-magic-numbers] Fix format string warnings.
Merge pull request #703 from waywardmonkeys/warnings-fix-dump-magic-numbers

[system,dump-magic-numbers] Fix format string warnings.