The jacoco-file is called differently