Re: [GHC] #2615: ghci doesn't play nice with linker scripts