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