Re: [GHC] #4049: Support for ABI versioning of C libraries