remove php5.3 compat