cabal-generated stuff added