pfq-counters.cabal updated: -threaded -rtsopts ghc options added