more on coveralls coverage reporting