Working around CVE-2012-5664