Workaround CVE-2013-0156