patch applied (cabal): "Drop assertion checking in the old solver"