fix php5.3