I forwarded this bug upstream to x.org, with patch, as freedesktop.org bug number 3754. -- Nathanael Nerode <neroden at gcc.gnu.org> Doom! Doooooom!