On Sat, Apr 30, 2005 at 08:55:06PM +0200, Jurij Kovacic wrote: > and it worked. It seems I was a bit too eager to report a non-existant > bug :) It is a bug, just something we haven't bothered to fully solve yet :) Joerg