https://bugs.freedesktop.org/show_bug.cgi?id=30406
--- Comment #16 from Martin Stolpe martinstolpe@gmail.com 2010-09-29 00:54:30 PDT --- Too bad it's not really working. I guess these are the kinds of errors which are difficult to track and which can consume a lot of time to fix.