fix php < 5.4