update /build/coverage.txt