CI: Fix of Jenkins file