Although we're using Mingw-w64 to build the Windows binaries they are in fact 32-bit binaries - which is just fine. However the file name should reflect that.