Use slightly better random seed.