Mark dependency on gmp and fix generation
Merge pull request #3 from astoltz/fix-gmp

Mark dependency on gmp and fix generation