On 30/07/08 00:06 +0200, Thomas Weber wrote: > Did the autoconf behaviour change or did we always have this ABI problem? Grumble, I *knew* it would turn out that *I* broke this. Well, my only excuse is #423707 (fixed in May, but I read the old text in February). Thomas