fix error with php < 5.5