Jenkins build is back to normal : Osmocom-release-manuals #24