improve miv.cabal: add ghc-prim