Windows build fix after r154658.