CentOS: do printf for int64 correctly

Using the macro defined in <inttypes.h>

See this SO answer: http://stackoverflow.com/a/9225648/13216