Patch added: Debian Security CVE-2013-4475