use macro to print int64_t value so we don't fail i386 builds