RE: Run-time options in ghc on Linux