On 02/06/2012 02:25 PM, Dag Wieers wrote: > But the issue deserves a bugzilla entry, so here it is: > > https://bugs.freedesktop.org/show_bug.cgi?id=45696 Finally solved the mystery; see <https://bugs.freedesktop.org/show_bug.cgi?id=45696#c3>. Stephan