Remove a few obsolete files