Tweak the .cabal file to see if I can make Travis-CI happy...