If anyone needs this flag, they should be able to just do
--ghc-options='-dynamic'. Instead of removing it, we could also hide it
behind a Cabal flag