%lX is too small to contain uint64 on 32-bit platforms, so use %llX.

Fixes a clang warning:

helper.c:465:38: warning: format specifies type 'unsigned long' but the argument
      has type 'uint64_t' (aka 'unsigned long long') [-Wformat]