fix broken jacoco configuration