/config/ghc/