Fewer ghc-options for benchmark.