Jenkins build is back to normal : Osmocom_OBS_check_builders #4008