Quoting Christian Perrier (bubulle@debian.org): > The attached patch should solve this (untested). Now tested and seems to work. I commit the change