this whole file could be eliminated - we switched to coveralls (which is not enabled either)