Jenkins build is back to normal : Osmocom-list-commits #1255