Fixing the Travis test config for coverage.