https://bugs.freedesktop.org/show_bug.cgi?id=30022
--- Comment #5 from gsr.bugs gsr.bugs@infernal-iceberg.com 2010-09-04 20:09:54 PDT --- Same file than the other printf? But where/when to print? Patch or "insert this at end of the if block that starts at line xxx" best. :)