diff --git a/src/platforms.tgz b/src/platforms.tgz new file mode 100644 index 0000000000000000000000000000000000000000..da6760db4dc69f1f8c86e41d8945fc07783a805e Binary files /dev/null and b/src/platforms.tgz differ