Reminded users to enable profiling in cabal config