added debian/patches/skip-jacoco.patch
for the new version