Fixing CI scripts