Work around git warnings about deleted files.