Makefile

[Matthew Fluet]

I would also suggest adding libgmp.a to the RUNTIME list in the
/src/Makefile.  I've had the problem that the libgmp in my default
library path gives the following (non-fatal) warnings:  

/usr/bin/ld: warning: type and size of dynamic symbol `__mpn_lshift' are
not defined
/usr/bin/ld: warning: type and size of dynamic symbol `__mpn_rshift' are
not defined

I think it corresponds to a different version of the gmp library.