z3 failed to build due to errors C2169 C2065 C7552 C2440 C2568 C7552 on x86 when build with MSVC

[spacelg]

Describe the problem:
z3 failed to build due to errors C2169 C2065 C7552 C2440 C2568 C7552 on x86 when build with MSVC. It can be first reproduced on 3feb147 revision. could you please help take a look at this? Thanks a lot!

The failures like:
The whole log file please see attachment.
log_x86_build.log

Repro steps:

1. git clone https://github.com/Z3Prover/z3 D:\Z3\src
2. Open a VS 2017 x86 command prompt and browse to D:\Z3
3. mkdir build_x86 && pushd build_x86
4. cmake -G "Visual Studio 15 2017" -DCMAKE_SYSTEM_VERSION=10.0.17134.0 ..\src
5. msbuild build_x86\Z3.sln /p:Configuration=Release;Platform=Win32 /t:Rebuild /m /p:BuildInParallel=true

Error Message:
D:\Z3\src\src\util\mpz.cpp(71): error C2169: '_tzcnt_u32': intrinsic function, cannot be defined [D:\Z3\build_x86\src\util\util.vcxproj]
D:\Z3\src\src\util\mpz.cpp(86): error C2065: '_tzcnt_u32': undeclared identifier [D:\Z3\build_x86\src\util\util.vcxproj]
D:\Z3\src\src\util\mpz.cpp(86): error C7552: '_tzcnt_u32': purely intrinsic functions have no address
D:\Z3\src\src\util\mpz.cpp(86): error C2440: 'initializing': cannot convert from 'unsigned int (__cdecl *)(unsigned int)' to 'unsigned int' [D:\Z3\build_x86\src\util\util.vcxproj]
D:\Z3\src\src\util\mpz.cpp(87): error C2568: '>>=': unable to resolve function overload [D:\Z3\build_x86\src\util\util.vcxproj]
error C7552: '_tzcnt_u32': purely intrinsic functions have no address [D:\Z3\build_x86\src\util\util.vcxproj]