bump gmp to 5.1.3, fixes #19