remove useless auxiliary files