Fix uint64_t for Unix (non-Windows) platforms