Fix for php < 5.5