[tei-council] Jenkins build is unstable: TEIP5 #2328