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

Fixing ci