I would like to get this bug resolved, one way or the other: <a href="http://bugs.freedesktop.org/show_bug.cgi?id=7474" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)"> http://bugs.freedesktop.org/show_bug.cgi?id=7474 </a> . It includes a patch, and it's easy to see what the patch does. I've been using the patch for the better half of a year without noticing any problems. Mark