fix php5.5