Improve seed used by pick_from_range() on mingw32.