travis: Fix coverage, second attempt.