fix jacoco.exec file name