Jenkins build is back to normal : osmocom-coverity #2120

[jenkins]

See 
<https://jenkins.osmocom.org/jenkins/job/osmocom-coverity/2120/display/redirect>