Small program to launch a 32-bit Windows Explorer on a 64-bit Windows 7 or later OS