Build failed in Jenkins: master-libosmocore » a2=default,a3=default,a4=default,arm-none-eabi,osmocom-master-debian9 #1340