Stored extensions in the cabal file