Re: sof patch for --ghc-pkg-config-file=