the file is obsolete