Design and construction of a Cherenkov detector for Compton polarimetry at the ILC