socket and php5.4