Re: [GHC] #9370: OPTIONS_GHC (or its absence) leaks between modules compiled in parallel