Disable use of Socket extension; appears to cause hanging PHP processes