Fix php install