--- dist.minix/configure	2015-10-16 13:43:21.000000000 +0200
+++ dist/configure	2015-10-16 13:43:34.000000000 +0200
@@ -5300,7 +5300,7 @@
 
 
 # Check for GMP, MPFR and MPC
-gmplibs="-lmpc -lmpfr -lgmp"
+gmplibs="-lmpc -lmpfr -lgmp -lm"
 gmpinc=
 have_gmp=no