Re: [GHC] #11798: Explicit recompilation required to change compilation options