[tei-council] Build failed in Jenkins: TEIP5-dev #2494