Rename archivo to archivo.txt