destroy_repository: ensure that files get closed.