sed the php pool file