Fix uint64 for non-windows