Jenkins build is back to normal : master-osmo-trx » --with-sse,0,a3=default,a4=default,osmocom-master-debian9 #2263

[jenkins at lists.osmocom.org]

See <https://jenkins.osmocom.org/jenkins/job/master-osmo-trx/INSTR=--with-sse,WITH_MANUALS=0,a3=default,a4=default,label=osmocom-master-debian9/2263/display/redirect?page=changes>