Updates to make cabal check and cabal install succeed so that current checks specified in .travis.yml all succeed.