nails don't work with GMP 5

[Torbjorn Granlund]

Paul Zimmermann <Paul.Zimmermann at loria.fr> writes:

  it seems nails don't work any more with GMP 5:
  
Indeed.  We broke that already in GMP 4.3.

-- 
Torbjörn