Don't set the HaLVM flag to default False; the cabal resolver will get it right.