Correct printf() format specifer for 64-bit integer. Should fix warning in linux x64 build.
Merge pull request #103 from andrew-elder/master

Correct printf() format specifer for 64-bit integer. Should fix warning ...