K 10 svn:author V 2 tg K 8 svn:date V 27 2001-10-19T11:16:55.000000Z K 7 svn:log V 58 Don't build mpz extension, it's moved to a separate port. END