PROBCORE-629 Use windowslib32.zip until the 64-bit version works.