Re: [GHC] #8781: check if GNU nm is really needed and if so let configure detect gnm