fix php5.4