These should be listed in `other-extensions:` in the cabal file.