Define UINT64_MAX in case it's not defined through inttypes.h