Re: [nhc-bugs] compilation failure