Use sel_ldr64.exe if running as 32-bit in Win64