Re: [GHC] #8624: -ddump-splices-file