The file started with a BOM (byte order mark, U+FEFF, hex EF BB BF),
which produces an error because it is sent back to the client and then
we cannot set header later (FlinfoOut.php, line 268) anymore.
This problem went unnoticed so far because the production server does
not show this error on the web page. My development server does :-)