D’oh! I thought it was fixed but we’re still having problems with CI.

I’ll post updates here.