Use 32-bit tools in Windows 64-bit