Re: [Python-Dev] Consistent platform name for 64bit windows (was: distutils.util.get_platform() for Windows)