Index: Makefile.in
--- Makefile.in.orig	2019-02-13 22:49:08.000000000 +0100
+++ Makefile.in	2019-02-20 15:12:36.193480000 +0100
@@ -1801,7 +1801,7 @@
 $(FLATZINCEXE): $(FLATZINCEXEOBJ) $(FLATZINCEXERES) $(ALLLIB)
 	$(CXX) @EXEOUTPUT@$@ $(FLATZINCEXEOBJ) $(FLATZINCEXERES) \
 	$(DLLPATH) $(CXXFLAGS) \
-	$(LINKALL) $(GLDFLAGS) $(LINKSTATICQT) 
+	$(LINKALL) $(GLDFLAGS) $(LINKSTATICQT) $(LINKMPFR)
 	$(FIXMANIFEST) $@.manifest
 	$(MANIFEST) -manifest $@.manifest -outputresource:$@\;1
 
Index: gecode/third-party/boost/numeric/interval/hw_rounding.hpp
--- gecode/third-party/boost/numeric/interval/hw_rounding.hpp.orig	2019-02-20 15:12:36.193652000 +0100
+++ gecode/third-party/boost/numeric/interval/hw_rounding.hpp	2019-02-20 15:15:07.754640000 +0100
@@ -21,7 +21,7 @@
 #endif
 
 // define appropriate specialization of rounding_control for built-in types
-#if defined(__x86_64__) && (defined(GECODE_BOOST_C99_ENABLED) || defined(__APPLE__))
+#if 1
 #  include <gecode/third-party/boost/numeric/interval/detail/c99_rounding_control.hpp>
 #elif defined(__i386__) || defined(_M_IX86) || defined(__BORLANDC__) || defined(_M_X64)
 #  include <gecode/third-party/boost/numeric/interval/detail/x86_rounding_control.hpp>
