Fix the build when GMP_INCLUDE_DIRS == ""