use standard formatter for int64

This fixes a compile error on CentOS 5.
clock_gettime and CLOCK_MONOTONIC require time.h

This fixes a compile error on CentOS 5.