Download files - Problem

Hi

I'm geting file :

$contents = file_get_contents($file);
$size = filesize($file);
header("Content-type:text/plain");
header("Content-Length: $size;");
header("Content-Disposition: attachment; filename=$export_file_name");
print($contents);

I've two problems.

1. File who I got is one Enter greater.
2. When the filename include more points for instance xxx.xxx.txt I've got
xxx[1].xxx.txt

Thanks for Your help
G.N