1--- dist.minix/configure 2015-10-16 13:43:21.000000000 +0200
2+++ dist/configure 2015-10-16 13:43:34.000000000 +0200
3@@ -5300,7 +5300,7 @@
4
5
6 # Check for GMP, MPFR and MPC
7-gmplibs="-lmpc -lmpfr -lgmp"
8+gmplibs="-lmpc -lmpfr -lgmp -lm"
9 gmpinc=
10 have_gmp=no
11
12