Another unreviewed build fix after r174475.