Fix up coverage generation for Travis