Work around Cabal issues