Re: [GHC] #5289: Can't use ghci with a library linked against libstdc++