On Fri, Aug 5, 2011 at 12:15, Alexander Klenin <klenin at gmail.com> wrote: > But there is no workaround, so I have no choice. Heh, I should never underestimate the power of ugly hacks ;-) I have invented and committed a workaround, but it is not pretty at all -- see r31864. -- Alexander S. Klenin