more smtcomp-submission script work