Fix mysteriously broken codecov usage

It used to work fine, I think.