diff --git a/scripts/config-debug.mk.in b/scripts/config-debug.mk.in
index 1ad4386a1..187130607 100644
--- a/scripts/config-debug.mk.in
+++ b/scripts/config-debug.mk.in
@@ -1,4 +1,4 @@
-
+CC=@CC@
 PREFIX=@prefix@
 CXX=@CXX@
 CXXFLAGS=@CPPFLAGS@ @CXXFLAGS@ -DZ3DEBUG -D_TRACE -c -g -Wall -fopenmp -msse -msse2 -mfpmath=sse
diff --git a/scripts/config-release.mk.in b/scripts/config-release.mk.in
index 01c50faf0..2f0a34a15 100644
--- a/scripts/config-release.mk.in
+++ b/scripts/config-release.mk.in
@@ -1,4 +1,4 @@
-
+CC=@CC@
 PREFIX=@prefix@
 CXX=@CXX@
 CXXFLAGS=@CPPFLAGS@ @CXXFLAGS@ -c -O3 -fomit-frame-pointer -fopenmp -msse -msse2 -mfpmath=sse
diff --git a/scripts/config-vs-debug-x64.mk b/scripts/config-vs-debug-x64.mk
index 73089334a..5810d8fe4 100644
--- a/scripts/config-vs-debug-x64.mk
+++ b/scripts/config-vs-debug-x64.mk
@@ -1,3 +1,4 @@
+CC=cl
 CXX=cl
 CXXFLAGS=/c /Zi /nologo /W3 /WX- /Od /Oy- /D WIN32 /D _AMD64_ /D _DEBUG /D Z3DEBUG /D _CONSOLE /D _TRACE /D _WINDOWS /Gm /EHsc /RTC1 /MDd /GS /fp:precise /Zc:wchar_t /Zc:forScope /openmp /Gd /analyze- 
 CXX_OUT_FLAG=/Fo
diff --git a/scripts/config-vs-debug.mk b/scripts/config-vs-debug.mk
index 1e2a8c58a..bef47d337 100644
--- a/scripts/config-vs-debug.mk
+++ b/scripts/config-vs-debug.mk
@@ -1,3 +1,4 @@
+CC=cl
 CXX=cl
 CXXFLAGS=/c /Zi /nologo /W3 /WX- /Od /Oy- /D WIN32 /D _DEBUG /D Z3DEBUG /D _CONSOLE /D _TRACE /D _WINDOWS /Gm /EHsc /RTC1 /MDd /GS /fp:precise /Zc:wchar_t /Zc:forScope /openmp /Gd /analyze- /arch:SSE2
 CXX_OUT_FLAG=/Fo
diff --git a/scripts/config-vs-release-x64.mk b/scripts/config-vs-release-x64.mk
index 9d16d5c67..6cd264b32 100644
--- a/scripts/config-vs-release-x64.mk
+++ b/scripts/config-vs-release-x64.mk
@@ -1,3 +1,4 @@
+CC=cl
 CXX=cl
 CXXFLAGS=/c /Zi /nologo /W3 /WX- /O2 /D _EXTERNAL_RELEASE /D WIN32 /D NDEBUG /D _LIB /D _WINDOWS /D _AMD64_ /D _UNICODE /D UNICODE /Gm- /EHsc /MD /GS /fp:precise /Zc:wchar_t /Zc:forScope /Gd /TP 
 CXX_OUT_FLAG=/Fo
diff --git a/scripts/config-vs-release.mk b/scripts/config-vs-release.mk
index 73d9ec8d8..16c9b0d37 100644
--- a/scripts/config-vs-release.mk
+++ b/scripts/config-vs-release.mk
@@ -1,3 +1,4 @@
+CC=cl
 CXX=cl
 CXXFLAGS=/nologo /c /W3 /WX- /O2 /Oy- /D _EXTERNAL_RELEASE /D WIN32 /D NDEBUG /D _CONSOLE /D _WINDOWS /D ASYNC_COMMANDS /Gm- /EHsc /GS /fp:precise /Zc:wchar_t /Zc:forScope /openmp /Gd /analyze- /arch:SSE2
 CXX_OUT_FLAG=/Fo