Switch to istanbul for coverage.