On Jun 11, 2011, at 1:31 PM, Ola Bini wrote: >> >> Asking here too: is that still happening? -- Christian > > I haven't seen any commits that is likely to fix it, but I will rebuild > and take a look today. The commits for 7047697 and 7052202 both fix crashes. -- John