Change the extension of a few cross section file fron .n(nemerle source code) to .txt