DELETED: the file that was renamed