diff --git a/C/bignum.c b/C/bignum.c
index c38ee385a..305413628 100755
--- a/C/bignum.c
+++ b/C/bignum.c
@@ -21,14 +21,15 @@ static char     SccsId[] = "%W% %G%";
 #include "Yap.h"
 #include "Yatom.h"
 
+#if HAVE_STRING_H
+#include <string.h>
+#endif
+
 #ifdef USE_GMP
 
 #include "YapHeap.h"
 #include "eval.h"
 #include "alloc.h"
-#if HAVE_STRING_H
-#include <string.h>
-#endif
 
 Term
 Yap_MkBigIntTerm(MP_INT *big)
diff --git a/H/TermExt.h b/H/TermExt.h
index 5a68e9690..c4c8e5dd1 100644
--- a/H/TermExt.h
+++ b/H/TermExt.h
@@ -406,8 +406,10 @@ IsBlobStringTerm (Term t)
 		(RepAppl(t)[1] & BLOB_STRING) == BLOB_STRING);
 }
 
+inline EXTERN int IsWideBlobStringTerm (Term);
+
 inline EXTERN int
-IsWideBlobString (Term t)
+IsWideBlobStringTerm (Term t)
 {
   return (int) (IsApplTerm (t) &&
 		FunctorOfTerm (t) == FunctorBigInt &&