Avoid copying a missing file in #7