Minor CI fixes again