Fix compilation erros when using uint64_t and boost isn't enabled