Old file contained duplicates, now removed

Sorry, no binary uploads, so this one is in text format