Fix for CI config