Build failed in Jenkins: osmocom-coverity-status #550