You're using a very outdated version of GMP. Please upgrade to a more recent version. (And if you run into problems with that release, please check the bug reporting guidelines of the GMP manual.) -- Torbjörn Please encrypt, key id 0xC8601622