removed -lgmp flag