On Fri, 5 Jan 2007 23:00:28 +0100 Reimar Döffinger <Reimar.Doeffinger at stud.uni-karlsruhe.de> wrote: > My proposal just adds such a default for the x86_32 case. Ouch, my bad. Your diff seems ok here.