Fix @cover at travis build from #5853

//cc @ralphschindler this fix travis build from #5853