PHP5.4 compat