diff --git a/devel/setversion b/devel/setversion
index 062238dc..cd1bba92 100755
--- a/devel/setversion
+++ b/devel/setversion
@@ -15,9 +15,9 @@ LIBGMP_LT_CURRENT=11
 LIBGMP_LT_REVISION=0
 LIBGMP_LT_AGE=4
 
-LIBGMPXX_LT_CURRENT=5
-LIBGMPXX_LT_REVISION=0
-LIBGMPXX_LT_AGE=4
+LIBGMPXX_LT_CURRENT=4
+LIBGMPXX_LT_REVISION=17
+LIBGMPXX_LT_AGE=3
 
 echo "Setting MPIR to"
 echo "MPIR-$VERSION.$VERSION_MINOR.$VERSION_PATCHLEVEL"