Another attempt at getting the coveralls formatter right