Fabrice, I think we should follow Olaf's suggestions. I appreciate how much more painful it is to change the banner, but the whole point here is to fix the problem, which is a binary that isn't TeX claims to be TeX. I don't think an additional line fixes it, because it still says "This is TeX ...".