change i/o files' format to .txt