add _0 to platform tag for pypi

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

Author: NikolajBjorner

src/api/python/setup.py

@@ -261,7 +261,7 @@ def remove_build_machine_os_version(self, platform, os_version_tag):
         if platform in ["osx", "darwin", "sequoia"]:
             m = internal_build_re.search(os_version_tag)
             if m:
-                return m.group(1)
+                return m.group(1) + "_0"
         return os_version_tag