Forgot to rename uint64_t in input.h