Followup to r275296: add an ObsoleteFiles.inc entry