Fixing the liquid-haskell target