php 5.4.17 with fix for CVE-2013-4113