Fix CABAL_FLAGS