Merge error: platform.py would not import
diff --git a/Lib/platform.py b/Lib/platform.py
index 33033ff..ff81d28 100755
--- a/Lib/platform.py
+++ b/Lib/platform.py
@@ -1089,7 +1089,7 @@
             node = _node()
             machine = ''
 
-        use_syscmd_ver = 01
+        use_syscmd_ver = 1
 
         # Try win32_ver() on win32 platforms
         if system == 'win32':