Fix backward compatibility with php < 5.4