another fix of jacoco and coveralls