In case some users on 64-bit Windows have not yet discovered it: TLShell has a submenu '64-bit Windows' to download and manage a parallel set of 64-bit binaries. Tlshell also tries to create a shortcut for a command-line which prefers the 64-bit binaries. -- Siep Kroonenberg