ghc optionsfor profiling