Fix code-coverage copying