Fix @cover at travis build from #5853
Merge pull request #5930