CI: Fix in Jenkins file