4840a75dea
was actually wanted. The effect of this bug is that only a few bytes of the hostname are mixed into the random seed, instead of using the entire hostname.