Re: [GHC] #8439: add a CPP program field to Settings file (decouple CPP program and C compiler choice)