Re: [GHC] #7414: plugins always trigger recompilation