httpsの場合に PHPで作成したファイルをダウンロードできない問題の解決方法

こんなエラーメッセージが出る場合の対処法。

Internet Explorer では、xxxxxx - xxxxxx.php をダウンロードできません。
このインターネットのサイトを開くことができませんでした。要求されたサイトが使用できないか、見つけることができません。後でやり直してください。

ninnin.net blog: PHP：httpsでCSVをダウンロードできない

お客さんからhttpsでアクセスするとCSVがダウンロードできないと言われた。

header("Pragma: public")でもいけるが、上記のやり方のほうがPHPらしくて好き。
.