Remove unnecessary random-default option.