Remove some .obsolete files.