Fix coveralls configuration