Re: [GHC] #13604: ghci no longer loads dynamic .o files by default if they were built with -O