Re: [tei-council] Update on build problems with P5