Have you guys patched the vulnerabilities that were found in php?