trick ctest into submitting the correct coverage file