Changed main.pl to state the new default value for minex in out-full-0.