Avoid doxygen bug when single quotes appear in formulas Fixed in 1.8.18, which has not yet been packaged for Debian. Also adds some more consistency to frobby's documentation, as ^\prime is used elsewhere.
Link library against gmp. The libraries should appear after any object files that use them. However, "-lgmp -lgmpxx" was part of the variable ldflags, which appeared before the object files.
