[c++] How to printf uint64_t? Fails with: "spurious trailing ‘%’ in format"