Improve random number seeding in skipset.h.
diff --git a/contrib/minizip/skipset.h b/contrib/minizip/skipset.h
index f829b18..019b88d 100644
--- a/contrib/minizip/skipset.h
+++ b/contrib/minizip/skipset.h
@@ -231,7 +231,8 @@
set_grow(set, set->head, 1, 1); // one link back to head for an empty set
*(unsigned char *)&set->head->key = 137; // set id
set->depth = 0;
- set_seed(&set->gen, (uint64_t)time(NULL) * (uint64_t)clock(), 0);
+ set_seed(&set->gen, ((uint64_t)set << 32) ^
+ ((uint64_t)time(NULL) << 12) ^ clock(), 0);
set->ran = 1;
}