diff --git a/H/TermExt.h b/H/TermExt.h
index 0609551ea..aa0541a24 100755
--- a/H/TermExt.h
+++ b/H/TermExt.h
@@ -417,9 +417,12 @@ IsStringTerm (Term t)
 
 #include <stdio.h>
 
-#ifdef __cplusplus
-#include <gmpxx.h>
-#else
+#if defined(__cplusplus)
+#define OCXX __cplusplus
+#undef __cplusplus
+#include <gmp.h>
+#define __cplusplus OCXX
+#elif  !defined( __GMP_H__ )
 #include <gmp.h>
 #endif