use coverage from travis.