proper init_settings for init_component (before generated ML_OPTIONS etc.);
fresh start for "Poly/ML 5.7 Linux", suppressing old builds with ML_OPTIONS="-H 500";