Fix php compatibiltiy things