deletes some no-longer-used files