--- a/maxima/archive/info/makefile
+++ b/maxima/archive/info/makefile
@@ -101,6 +101,8 @@
 
 # the  make to use for saved_kcp the profiler.
 KCP=kcp-bsd
+MPFILES=${GMP_DIR}libgmp.a
+
 
 # end makedefs
 GCLDIR=/home/wfs/cvs/gcl