make liquid.cabal compatible with liquid-fixpoint