changing the file extension when reading from .csv to .txt