修建红旗渠时，林县县委书记是谁。