removed startup option `--random.no-seed`