modify php configure