Fix coverage.sh
Fix coverage.sh

Merge #171

PiperOrigin-RevId: 229264592
GitOrigin-RevId: 6a6e1eba278db4f2cb88e5c10fe79d67e3174b13

google/tink,google/tink,google/tink,google/tink,google/tink,google/tink,google/tink,google/tink