fixing ci
Merge pull request #2810 from sebv/ci-fix

fixing ci