[tei-council] Jenkins build became unstable: TEIP5-dev #2800