Fix php library