Yet another CI fix.