Re: [nhc-bugs] NHC 1.08 & gmp