Renamed polypheme branch in polyphemus.