Patches applied in the Debian version of :