added profiling ghc option for benchmarks