Seems that these files are obsolete.