diff --git a/CMakeLists.txt b/CMakeLists.txt
index f3e1f4c36b64122b60f3626350258aa36fe53ff2..4affc3c33ab6ca8c2287fd33050536be9224d63d 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -424,7 +424,7 @@ if(ENABLE_GMM)
 endif(ENABLE_GMM)
 
 if(ENABLE_KBIPACK)
-  find_library(GMP_LIB libgmp.a)
+  find_library(GMP_LIB NAMES libgmp.a libgmp.dll.a)
   if(GMP_LIB)
     add_subdirectory(contrib/kbipack)
     set(HAVE_KBIPACK TRUE)