New PHP version fixes CVE-2014-1943,