update PRId64 for printf