Fixed the build script to use the right name for 32-bit vs 64-bit