Re: [GHC] #4366: in-tree GMP build problem with shared libraries