Another obsolete file.