use appropriate printf code for uint64_t variable (fixes warnings on 32bit systems)

Change-Id: I9855e5c2ebc0370c2063550aa11b9ed882fec3ce
Merge pull request #58 from redbaron/master

fix compiler warning on 32bit systems