diff --git a/cmake/gmp.cmake b/cmake/gmp.cmake
index 23d8a65ec..d3b4a379b 100644
--- a/cmake/gmp.cmake
+++ b/cmake/gmp.cmake
@@ -61,7 +61,7 @@ endif()
 if(GMP_FOUND)
 	message(STATUS "Configured GMP: -I${GMP_INCLUDE_DIR} -L${GMP_LIBRARIES}")
 else(GMP_FOUND)
-	if(NOT GMP_INCLUDE_DIR)
+	if(NOT EXISTS "/usr/include/gmp.h")
 		message(STATUS "Could NOT find GMP headers")
 	endif()
 	if(NOT GMP_LIBRARIES)