Depend on libgmp10 for runtime libgmp

Fixes issue #115