Re: [Cin] cin-HV compilation