Change extension on example files from txt to tsv