> 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

Reply via email to