Build failed in Jenkins: TTCN3-centos-bts-test-2023q1 #306