fix building against master of liquidhaskell