Fix php build