Fix the Coveralls configuration to ensure reporting