Change binary names for Windows build.
Big numbers are big.