fix for php < 5.4