fix travis for coverage