Launching 64-bit cmd.exe

[wssddc]

New user, setting up on Win/10 for the first time. I notice that if I launch c:\windows\system32\cmd.exe, I get the 32-bit command processor.  I find two workarounds:

1. Use "sysnative" instead of "system32"
2. Add Arguments "/c start "64-bit cmd" %windir%\sysnative\cmd.exe"

Only the 2nd works if run as administrator is checked.