Fixes clover coverage export.