Define int64 and uint64 for Linux.