Fix issue that broke the build after upgrading Coveralls plugin