Re: [nhc-bugs] build failure