diff --git a/polymake.spec b/polymake.spec
index 8592bd8..eee8fb9 100644
--- a/polymake.spec
+++ b/polymake.spec
@@ -9,11 +9,11 @@
 
 # JuPyMake version and release numbers
 %global jupymakever 0.8
-%global jupymakerel 10%{?dist}
+%global jupymakerel 9%{?dist}
 
 # jupyter-polymake version and release numbers
 %global jupyterpmver 0.16
-%global jupyterpmrel 10%{?dist}
+%global jupyterpmrel 9%{?dist}
 
 # Build with the bundled version of jreality.  This currently includes bundled
 # versions of several other Java projects (e.g., bsh, janino, jinput), and also
@@ -22,7 +22,7 @@
 
 Name:           polymake
 Version:        3.5
-Release:        6%{?dist}
+Release:        5%{?dist}
 
 %global polydir %{_libdir}/%{name}
 %global majver  %(cut -dr -f1 <<< %{version})
@@ -63,6 +63,7 @@ BuildRequires:  javapackages-tools
 %endif
 BuildRequires:  libnormaliz-devel
 BuildRequires:  lrslib-devel
+BuildRequires:  mpfr-devel
 BuildRequires:  ninja-build
 BuildRequires:  perl-devel
 BuildRequires:  perl-generators
@@ -83,7 +84,6 @@ BuildRequires:  perl(XML::Writer)
 BuildRequires:  permlib-devel
 BuildRequires:  pkgconfig(eigen3)
 BuildRequires:  pkgconfig(libxml-2.0)
-BuildRequires:  pkgconfig(mpfr)
 BuildRequires:  pkgconfig(nauty)
 BuildRequires:  pkgconfig(python3)
 BuildRequires:  pkgconfig(Singular)
@@ -410,12 +410,9 @@ export QA_SKIP_BUILD_ROOT=1
 %{python3_sitelib}/jupyter_kernel_polymake*
 
 %changelog
-* Mon Nov 11 2019 Jerry James <loganjerry@gmail.com> - 3.5-6
+* Mon Nov 11 2019 Jerry James <loganjerry@gmail.com> - 3.5-5
 - Rebuild for perl 5.30.1
 
-* Fri Oct 11 2019 Jerry James <loganjerry@gmail.com> - 3.5-5
-- Rebuild for mpfr 4
-
 * Tue Sep 24 2019 Jerry James <loganjerry@gmail.com> - 3.5-4
 - Rebuild for normaliz 3.8.0