Rename martin.txt to martin.tsv