debug: wrong filename for clover.xml