Fix coveralls coverage reporting