Use the right printf format for printing uint64_t
Merge pull request #5 from mstorsjo/printf-formats

Use the right printf format for printing uint64_t