I've uploaded a package with your fix on debian-ports. Upstream discussion still has to happen on http://sourceware.org/bugzilla/show_bug.cgi?id=12222 Samuel