Fix compile error on PHP5.3.3