> Say what? The source is the same... But compiled with different flags
> that's what I said about three mails ago. Then what you said three mails ago is wrong. > AFAICT there shouldn't be any difference > beween the headers because they are the same headers. Are there any? Have you checked it before stating they're the same? Davide