added cabal-config: sets profiling to True in cabal config