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

...in linux x64 build.