build.plat: in Platform.add_file(), allow adding exact duplicates.