cleaning up auxiliary files