[tei-council] Update on build problems with P5