Forçar download TXT com quebra de linha

Pessoal,

Andei dando uma pesquisada no fórum e até achei algumas coisas interessantes, como a informação de que para arquivos na plataforma linux a quebra de linha é \n e para arquivos na plataforma windows é \r\n. No entanto, como eu NÃO estou trabalhando com a montagem de um arquivo txt e sim, apenas, com o download de um arquivo já existente, esse tipo de informação não resolve o meu problema.

No meu caso, tenho um arquivo txt no meu servidor com as seguintes caracteristicas:

linha1

linha2

linha3

Quando faço o download usando a rotina abaixo, ele aparece assim:

linha1linha2linha3

<?php
$file = "arquivo.txt";
header("Content-type: application/save");
header("Content-Length:" . filesize($file));
header('Content-Disposition: attachment; filename=' . $file);
header('Expires: 0');
header('Pragma: no-cache');

readfile("$file");
?>

E aí, como eu resolvo esse problema?