More Jenkins CI fixes

[ci:skip]