Use "python3" for non-win32 platforms.