Add a missing file