Thanks to Debian for the patchset  :-)