Fix @cover at travis build from #5853

//cc @ralphschindler