cabal: no global profiling