Build failed in Jenkins: master-osmo-hnbgw » PFCP=1,WITH_MANUALS=1,a3=default,a4=default,osmocom-master #7903