Ninja fix from merge conflict found in CI.