minor corrections in the cabal file for extensions