Re: [GHC] #9370: OPTIONS_GHC (or its absence) leaks between modules compiled in parallel (was: large blowup in memory usage and time when doing parallel build of xmlhtml package)