Comment 4 for bug 176511

Luca, thanks for preparing this patch. Since I've already fixed this bug in Debian, I'm going to go ahead and do this as a merge rather than as an ubuntu3 build, purely as a matter of housekeeping. While I would normally be happy to let you do the work on the merge and sponsor the result, in this case I'm in a bit of a hurry because this bug is causing build failures on other packages. :)