Thank you Andreas for investigating the issue and reporting it. If your changes do not fix the issue, maybe it would be wise to report this to infra. For some reason Jenkins builds are very problematic - they fail for a lot of reasons unrelated to code.
Please keep us posted if you get updates on this issue. Cheers,
