Issue #2 : different coveralls plugin version