Fix paths in CI configurations.