Don't use -lgmp on OSX after all.