Jenkins build is back to normal : master-libosmocore » a2=default,a3=default,a4=default,amd64,osmocom-master-debian9 #723

[jenkins]

See 
<https://jenkins.osmocom.org/jenkins/job/master-libosmocore/a2=default,a3=default,a4=default,arch=amd64,label=osmocom-master-debian9/723/display/redirect>