[cvs-nhc98] patch applied (nhc98): this .hi file was missing in the switch from CVS to darcs