fix coverralls setting