updates to php5.5