Add --with-rand-seed