rename clean_varsat to clean-varsat