Index: mpfrcx-0.4.2/src/mpfrcx.h
===================================================================
--- mpfrcx-0.4.2/src/mpfrcx.h
+++ mpfrcx-0.4.2/src/mpfrcx.h	2018-02-20 15:13:31.215432351 +0100
@@ -57,7 +57,7 @@
 
 typedef __mpcx_struct mpcx_t[1];
 typedef __mpcx_struct *mpcx_ptr;
-typedef __gmp_const __mpcx_struct *mpcx_srcptr;
+typedef const __mpcx_struct *mpcx_srcptr;
 
 typedef struct {
    int    size;
@@ -69,7 +69,7 @@
 
 typedef __mpfrx_struct mpfrx_t[1];
 typedef __mpfrx_struct *mpfrx_ptr;
-typedef __gmp_const __mpfrx_struct *mpfrx_srcptr;
+typedef const __mpfrx_struct *mpfrx_srcptr;
 
 
 typedef struct {
@@ -90,7 +90,7 @@
 
 typedef __mpcx_tree_struct mpcx_tree_t [1];
 typedef __mpcx_tree_struct *mpcx_tree_ptr;
-typedef __gmp_const __mpcx_tree_struct *mpcx_tree_srcptr;
+typedef const __mpcx_tree_struct *mpcx_tree_srcptr;
 
 typedef struct {
    int no;
@@ -102,7 +102,7 @@
 
 typedef __mpfrx_tree_struct mpfrx_tree_t [1];
 typedef __mpfrx_tree_struct *mpfrx_tree_ptr;
-typedef __gmp_const __mpfrx_tree_struct *mpfrx_tree_srcptr;
+typedef const __mpfrx_tree_struct *mpfrx_tree_srcptr;
 
 
 /* Check if stdio.h is included */