package: adapt to Corrade Jenkins CI changes.