Allow to install 32bit tools on 64bit Windows