make sure we haven't forgotten any file...