txt gerado em php

Boa tarde,

Eu estou com problemas com IE. Eu gero um .txt através desse código:

	$arquivo = "relatorio_cti_".$inicio_request."_".$fim_request.".txt";
	$mimeType = "text/plain";

	header("Pragma: public");
	header("Content-type: ".$mimeType);
	header("Content-Disposition: attachment; filename=".$arquivo."");
	header("Content-Transfer-Encoding: binary");
	header("Content-Description: PHP Generated Data");
	header("Content-length: ".filesize($arquivo));

No firefox, opera, chrome, safari funciona. Ele gera um txt com o nome certinho, mas no IE ele simplismente deixa o nome do arquivo como 2009 e arquivo do tipo html, e se eu ponho pra salvar ele da a seguinte mensagem: o internet explorer não pode baixar export.php de [iP da máquina].

Alguém já passou por isso ou tem uma sugestão?