Use a still-available Debian patch...