Older gcc has problems with PRIx64