fix a bug in toysolver.cabal