Correct printf() format specifer for 64-bit integer. Should fix warning in linux x64 build.