Another minor script hack.  Inexplicable -lgmp failures on cutter