The generator script for the new windows 2017 devkit has a bug. It puts
the 64bit redistributable runtime libraries in the 32 bit tools dir.
This causes the 32 bit tools to only work on machines with VS2017
already installed on them. This patch fixes the script to copy the
correct DLLs.