osX define uint64_t as long long int